perm filename PERM.TMP[TEX,DEK] blob sn#578892 filedate 1981-04-13 generic text, type T, neo UTF8
perm(a,b,c,d,e,f,g,h,i)↑2;
                                                              2
(D2)           (A E I + B D I + A F H + C D H + B F G + C E G)

(C3) perm(a,b,c,d,e,f,d,e,f)*perm(a,b,c,g,h,i,g,h,i);
(D3)     (2 A E F + 2 B D F + 2 C D E) (2 A H I + 2 B G I + 2 C G H)

(C4) ratexpand(d2-d3);
      2  2  2              2    2  2  2      2
(D4) A  E  I  + 2 A B D E I  + B  D  I  - 2 A  E F H I - 2 A B D F H I

                          2                          2                  2
 - 2 A C D E H I + 2 B C D  H I - 2 A B E F G I - 2 B  D F G I + 2 A C E  G I

                    2  2  2              2    2  2  2          2
 - 2 B C D E G I + A  F  H  + 2 A C D F H  + C  D  H  + 2 A B F  G H

                                      2            2  2  2              2
 - 2 A C E F G H - 2 B C D F G H - 2 C  D E G H + B  F  G  + 2 B C E F G

    2  2  2
 + C  E  G

(C5) factor(%);
      2  2  2              2    2  2  2      2
(D5) A  E  I  + 2 A B D E I  + B  D  I  - 2 A  E F H I - 2 A B D F H I

                          2                          2                  2
 - 2 A C D E H I + 2 B C D  H I - 2 A B E F G I - 2 B  D F G I + 2 A C E  G I

                    2  2  2              2    2  2  2          2
 - 2 B C D E G I + A  F  H  + 2 A C D F H  + C  D  H  + 2 A B F  G H

                                      2            2  2  2              2
 - 2 A C E F G H - 2 B C D F G H - 2 C  D E G H + B  F  G  + 2 B C E F G

    2  2  2
 + C  E  G

(C6) ev(%%d5,b=0,c=110);
                       2  2  2      2            2  2  2
(D6)                  A  E  I  - 2 A  E F H I + A  F  H

(C7) ev(d5,c=0);
      2  2  2              2    2  2  2      2
(D7) A  E  I  + 2 A B D E I  + B  D  I  - 2 A  E F H I - 2 A B D F H I

                                2            2  2  2          2        2  2  2
           - 2 A B E F G I - 2 B  D F G I + A  F  H  + 2 A B F  G H + B  F  G

(C8) d7-d6;
                2    2  2  2                                      2
(D8) 2 A B D E I  + B  D  I  - 2 A B D F H I - 2 A B E F G I - 2 B  D F G I

                                                              2        2  2  2
                                                     + 2 A B F  G H + B  F  G

(C9) ev(d8,a=0);
                       2  2  2      2            2  2  2
(D9)                  B  D  I  - 2 B  D F G I + B  F  G

(C10) d8-d9;
                    2                                          2
(D10)    2 A B D E I  - 2 A B D F H I - 2 A B E F G I + 2 A B F  G H

(C11) factor(%);
(D11)                   2 A B (D I - F G) (E I - F H)

(C12) factor(d7);
                                                      2
(D12)                  (A E I + B D I - A F H - B F G)

(C13) 
[MESSAGE FROM JL at MIT-MC  5:11pm]
        Is anyone planning to or accomplished writing TEX in LISP?
(C13) p(a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,tt,s,r,;
Missing ")"
, M , N , O , P , Q **$**   
Please rephrase or edit

(C13) pr(a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p):=a*perm(f,g,h,j,k,l,n,o,p)+
b*perm(e,g,h,i,k,l,m,o,p)+c*perm(e,f,h,i,j,l,m,n,p)+d*perm(e,f,g,i,j,k,m,n,o);
(D13) PR(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P) := 

A PERM(F, G, H, J, K, L, N, O, P) + B PERM(E, G, H, I, K, L, M, O, P)

 + C PERM(E, F, H, I, J, L, M, N, P) + D PERM(E, F, G, I, J, K, M, N, O)

(C14) pr(a,b,c,d,e,f,g,h,i,j,k,l,i,j,k,l);
(D14) A (2 F K L + 2 G J L + 2 H J K) + B (2 E K L + 2 G I L + 2 H I K)

           + C (2 E J L + 2 F I L + 2 H I J) + D (2 E J K + 2 F I K + 2 G I J)

(C15) pr(a,b,c,d,e,f,g,h,m,n,ooo,p,m,n,o,p);
(D15) A (2 F O P + 2 G N P + 2 H N O) + B (2 E O P + 2 G M P + 2 H M O)

           + C (2 E N P + 2 F M P + 2 H M N) + D (2 E N O + 2 F M O + 2 G M N)

(C16) d13↑2-d14*d15;
(D16) EXPT(PR(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P) := 

A PERM(F, G, H, J, K, L, N, O, P) + B PERM(E, G, H, I, K, L, M, O, P)

 + C PERM(E, F, H, I, J, L, M, N, P) + D PERM(E, F, G, I, J, K, M, N, O), 2)

 - (A (2 F K L + 2 G J L + 2 H J K) + B (2 E K L + 2 G I L + 2 H I K)

 + C (2 E J L + 2 F I L + 2 H I J) + D (2 E J K + 2 F I K + 2 G I J))

 (A (2 F O P + 2 G N P + 2 H N O) + B (2 E O P + 2 G M P + 2 H M O)

 + C (2 E N P + 2 F M P + 2 H M N) + D (2 E N O + 2 F M O + 2 G M N))

(C17) pr(a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p)↑2-d14*d15;
(D17) EXPT(A (F K P + G J P + F L O + H J O + G L N + H K N)

 + B (E K P + G I P + E L O + H I O + G L M + H K M)

 + C (E J P + F I P + E L N + H I N + F L M + H J M)

 + D (E J O + F I O + E K N + G I N + F K M + G J M), 2)

 - (A (2 F K L + 2 G J L + 2 H J K) + B (2 E K L + 2 G I L + 2 H I K)

 + C (2 E J L + 2 F I L + 2 H I J) + D (2 E J K + 2 F I K + 2 G I J))

 (A (2 F O P + 2 G N P + 2 H N O) + B (2 E O P + 2 G M P + 2 H M O)

 + C (2 E N P + 2 F M P + 2 H M N) + D (2 E N O + 2 F M O + 2 G M N))

(C18) ev(%,c=0,d=0);
(D18) EXPT(A (F K P + G J P + F L O + H J O + G L N + H K N)

 + B (E K P + G I P + E L O + H I O + G L M + H K M), 2)

 - (A (2 F K L + 2 G J L + 2 H J K) + B (2 E K L + 2 G I L + 2 H I K))

 (A (2 F O P + 2 G N P + 2 H N O) + B (2 E O P + 2 G M P + 2 H M O))

(C19) ratexpand(%);
       2  2  2  2              2  2    2  2  2  2      2          2
(D19) A  F  K  P  + 2 A B E F K  P  + B  E  K  P  + 2 A  F G J K P

                  2                  2      2          2    2  2  2  2
 + 2 A B E G J K P  + 2 A B F G I K P  + 2 B  E G I K P  + A  G  J  P

          2      2    2  2  2  2      2  2
 + 2 A B G  I J P  + B  G  I  P  - 2 A  F  K L O P - 4 A B E F K L O P

      2  2              2
 - 2 B  E  K L O P - 2 A  F G J L O P - 2 A B E G J L O P - 2 A B F G I L O P

      2                  2
 - 2 B  E G I L O P - 2 A  F H J K O P - 2 A B E H J K O P - 2 A B F H I K O P

      2                  2      2                              2      2
 - 2 B  E H I K O P + 2 A  G H J  O P + 4 A B G H I J O P + 2 B  G H I  O P

      2                                      2  2                  2
 - 2 A  F G K L N P - 2 A B E G K L N P - 2 A  G  J L N P - 2 A B G  I L N P

      2      2                  2          2
 + 2 A  F H K  N P + 2 A B E H K  N P - 2 A  G H J K N P - 2 A B G H I K N P

                          2                      2              2  2
 - 2 A B F G K L M P - 2 B  E G K L M P - 2 A B G  J L M P - 2 B  G  I L M P

              2          2      2                              2
 + 2 A B F H K  M P + 2 B  E H K  M P - 2 A B G H J K M P - 2 B  G H I K M P

    2  2  2  2              2  2    2  2  2  2      2          2
 + A  F  L  O  + 2 A B E F L  O  + B  E  L  O  + 2 A  F H J L O

                  2                  2      2          2    2  2  2  2
 + 2 A B E H J L O  + 2 A B F H I L O  + 2 B  E H I L O  + A  H  J  O

          2      2    2  2  2  2      2      2                  2
 + 2 A B H  I J O  + B  H  I  O  + 2 A  F G L  N O + 2 A B E G L  N O

      2                                      2
 - 2 A  F H K L N O - 2 A B E H K L N O - 2 A  G H J L N O - 2 A B G H I L N O

      2  2                  2                      2          2      2
 - 2 A  H  J K N O - 2 A B H  I K N O + 2 A B F G L  M O + 2 B  E G L  M O

                          2                                      2
 - 2 A B F H K L M O - 2 B  E H K L M O - 2 A B G H J L M O - 2 B  G H I L M O

          2              2  2            2  2  2  2      2          2
 - 2 A B H  J K M O - 2 B  H  I K M O + A  G  L  N  + 2 A  G H K L N

    2  2  2  2          2  2                                  2  2
 + A  H  K  N  + 2 A B G  L  M N + 4 A B G H K L M N + 2 A B H  K  M N

    2  2  2  2      2          2    2  2  2  2
 + B  G  L  M  + 2 B  G H K L M  + B  H  K  M

(C20) ev(d19,a=00=ab=0);
       2  2  2  2      2          2    2  2  2  2      2  2
(D20) A  F  K  P  + 2 A  F G J K P  + A  G  J  P  - 2 A  F  K L O P

      2                  2                  2      2          2
 - 2 A  F G J L O P - 2 A  F H J K O P + 2 A  G H J  O P - 2 A  F G K L N P

      2  2              2      2          2                2  2  2  2
 - 2 A  G  J L N P + 2 A  F H K  N P - 2 A  G H J K N P + A  F  L  O

      2          2    2  2  2  2      2      2          2
 + 2 A  F H J L O  + A  H  J  O  + 2 A  F G L  N O - 2 A  F H K L N O

      2                  2  2            2  2  2  2      2          2
 - 2 A  G H J L N O - 2 A  H  J K N O + A  G  L  N  + 2 A  G H K L N

    2  2  2  2
 + A  H  K  N

(C21) factor(%);
       2   2  2  2              2    2  2  2      2
(D21) A  (F  K  P  + 2 F G J K P  + G  J  P  - 2 F  K L O P - 2 F G J L O P

                          2                          2                  2
 - 2 F H J K O P + 2 G H J  O P - 2 F G K L N P - 2 G  J L N P + 2 F H K  N P

                    2  2  2              2    2  2  2          2
 - 2 G H J K N P + F  L  O  + 2 F H J L O  + H  J  O  + 2 F G L  N O

                                      2            2  2  2              2
 - 2 F H K L N O - 2 G H J L N O - 2 H  J K N O + G  L  N  + 2 G H K L N

    2  2  2
 + H  K  N )

(C22) ev(%,g=0,h=0);
                    2   2  2  2      2            2  2  2
(D22)              A  (F  K  P  - 2 F  K L O P + F  L  O )

(C23) ev(d19,c=0,d=0,g=0,h=0);
       2  2  2  2              2  2    2  2  2  2      2  2
(D23) A  F  K  P  + 2 A B E F K  P  + B  E  K  P  - 2 A  F  K L O P

                          2  2            2  2  2  2              2  2
 - 4 A B E F K L O P - 2 B  E  K L O P + A  F  L  O  + 2 A B E F L  O

    2  2  2  2
 + B  E  L  O

(C24) factor(%);
                                     2            2
(D24)                     (A F + B E)  (K P - L O)

(C25) logout();
:LOGOUT

MC ITS 1207  Console 63 Free. 18:04:08